Doktorandnätverk IT and Mathematics (->1.1.2015)


Publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development (2014)
Masoumeh Parsa, Marina Walden,Colin Snook
A4 Konferenspublikationer
Parallel Development of Event-B Systems with Agile Methods (2014)
Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden
Halmstad University
A4 Konferenspublikationer
Proofs and Refutations in Invariant-Based Programming (2014)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
Springer
Visa på utgivarens sida

Senast uppdaterad 2018-19-09 vid 19:37