Search results for: Fiona Polack
European Journal of Operational Research > 2017 > 257 > 2 > 494-510
Lecture Notes in Computer Science > Agile Processes in Software Engineering and Extreme Programming > Experience Reports > 226-230
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 339-358
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 262-278
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 4. Z Papers > 323-336
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 20-39
Lecture Notes in Computer Science > FM’99 — Formal Methods > European Theory and Practice of Software (ETAPS) > 1048-1067
Lecture Notes in Computer Science > Advances in Artificial Life > Models and Methodologies > 1131-1140
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 517-534
Natural Computing > 2015 > 14 > 1 > 63-82
Natural Computing > 2015 > 14 > 1 > 49-62