Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
, with an emphasis on practical verification tools and the algorithms and techniques that are needed for
Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
, with an emphasis on practical verification tools and the algorithms and techniques that are needed for
View Other Search Results
Yazar
Bartocci, Ezio. editor.
Format:
Electronic Resources
Alıntı:
-- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool