Wyniki wyszukiwania dla: Greg Morrisett
Journal of Automated Reasoning > 2018 > 60 > 3 > 257-277
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 1-2
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 293-307
Lecture Notes in Computer Science > Programming Languages and Systems > Program Verification > 337-352
Lecture Notes in Computer Science > Programming Languages and Systems > Logics and Correctness Proofs > 189-204
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software > 245-259