Personensuche
X
?
Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments ,
13
Seamless Interactive Program Verification:
, In:
?
Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives ,
14