Research Project:
Combining Model Checking with Testing for Concurrent Programs

Project Logo

Contributors

Funders

ID

CL.00052

Authors

Profile Picture
Person
Taşıran, Serdar
Faculty Member

Publications

Organizational Units

OrgUnit Logo
Organizational Unit

Description

Keywords