10.1007/978-3-642-34281-3_4Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7635 LNCS5-2
10.1007/978-3-642-41202-8_16Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. A program verifier is a tool that allows developers to prove that their code satisfies its...
in Computer Science Department Faculty Publication Series by an authorized administrator of ScholarW...
10.1007/978-3-319-89884-1_14Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-12098-5_25Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-35182-2_26Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-540-70545-1_34Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
Abstract. In the multicore era, verification for concurrent programs is increasingly important. Alth...
SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--355) / BLDSC - B...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
The verification system PVS is used to obtain mechanized support for the formal specification and ve...
10.1007/978-3-642-41202-8_16Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. A program verifier is a tool that allows developers to prove that their code satisfies its...
in Computer Science Department Faculty Publication Series by an authorized administrator of ScholarW...
10.1007/978-3-319-89884-1_14Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-12098-5_25Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-35182-2_26Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-540-70545-1_34Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
Abstract. In the multicore era, verification for concurrent programs is increasingly important. Alth...
SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--355) / BLDSC - B...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
The verification system PVS is used to obtain mechanized support for the formal specification and ve...
10.1007/978-3-642-41202-8_16Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. A program verifier is a tool that allows developers to prove that their code satisfies its...
in Computer Science Department Faculty Publication Series by an authorized administrator of ScholarW...
DOI
Add to ORKG