Research Project:
Combining Model Checking with Testing for Concurrent Programs

Placeholder

Date

Institution Author

Departments

School / College / Institute

Program

KU-Authors

Koç University Affiliated Author

KU Authors

Co-Authors

Editor & Affiliation

Compiler & Affiliation

Translator

Other Contributor

Date

Language

Type

Journal Title

Volume Title

Alternative Title

Combining Model Checking with Testing fo

Other Of Anamed Title

Abstract

Source

Publisher

Keywords

Citation

Has Part

Book Series Title

DOI

URI

https://hdl.handle.net/20.500.14288/25161

item.page.datauri

Link

Rights

Rights URI

Grant No

Sponsors

Copyrights Note

Related Research Data

Collections

Projects

Endorsement

Review

Supplemented By

Referenced By

Related Goal

2

Views

0

Downloads