Search results for: Robert Colvin
The Prostate > 81 > 14 > 1097 - 1104
Lecture Notes in Computer Science > Program Development in Computational Logic > Specification and Synthesis > 66-89
The Lancet > 2016 > 388 > 10048 > 983-993
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Refinement > 126-143
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > A Technique for Modular Logic Program Refinement > 38-56
Lecture Notes in Computer Science > Computer Aided Verification > Session 17. Memory Consistency > 475-488
European Journal of Cell Biology > 2011 > 90 > 10 > 825-833
Formal Aspects of Computing > 2009 > 21 > 1-2 > 187-223
Science of Computer Programming > 2009 > 74 > 3 > 143-165
The Journal of Systems & Software > 2008 > 81 > 12 > 2163-2182