Search results for: Cormac Flanagan
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 369-388
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 500-517
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Regular Papers > 209-224
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 91-108
Lecture Notes in Computer Science > Programming Languages and Systems > Distributed Programs: Verification and Analysis > 262-277
Lecture Notes in Computer Science > Programming Languages and Systems > Contributed Papers > 189-203
Lecture Notes in Computer Science > Programming Languages and Systems > Types for Systems Properties > 505-519
Lecture Notes in Computer Science > Computer Aided Verification > Compositional/Structural Verification > 180-194
Lecture Notes in Computer Science > Programming Languages and Systems > Parallel and Concurrent Programming > 394-409
Lecture Notes in Computer Science > ECOOP 2005 - Object-Oriented Programming > Concurrency > 551-576
Science of Computer Programming > 2015 > 112 > P3 > 227-260
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 2 > 123-125