Search results for: Jo Erskine Hannay
Systems Engineering > 20 > 3 > 235 - 256
IEEE Software > 2017 > 34 > 3 > 73 - 85
IEEE Software > 2017 > 34 > 4 > 58 - 70
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 130-145
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 196-213
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Foundations > 162-181
Requirements Engineering > 2017 > 22 > 2 > 289-314
Computing in Science & Engineering > 2012 > 14 > 2 > 24 - 37