Search results for: Judy Bowen
International Journal of Human-Computer Studies > 2018 > 117 > C > 4-19
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 454-471
International Journal on Digital Libraries > 2016 > 17 > 3 > 257-271
Innovations in Systems and Software Engineering > 2013 > 9 > 3 > 201-215
Formal Aspects of Computing > 2009 > 21 > 6 > 589-612
Electronic Notes in Theoretical Computer Science > 2008 > 208 > Complete > 5-22
Innovations in Systems and Software Engineering > 2008 > 4 > 2 > 125-141
Electronic Notes in Theoretical Computer Science > 2007 > 183 > Complete > 57-72