Search results for: Steve King
Journal of Microscopy > 270 > 2 > 121 - 128
Journal of Environmental Management > 2016 > 183 > P3 > 1079-1087
Lecture Notes in Computer Science > ZB 2000: Formal Specification and Development in Z and B > 264-285
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The INESS Project > 147-165
Lecture Notes in Computer Science > FM’99 — Formal Methods > Safety > 1527-1545
Lecture Notes in Computer Science > ZB 2000: Formal Specification and Development in Z and B > 250-263
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 164-188
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Formal Methods > 79-90
Lecture Notes in Computer Science > Reliable SoftwareTechnologies — Ada-Europe 2001 > Dependable Systems > 229-240
Formal Aspects of Computing > 2014 > 26 > 4 > 795-823
Energy & Buildings > 2009 > 41 > 1 > 125-132
In Vitro Cellular & Developmental Biology - Animal > 2007 > 43 > 10 > 344-351