WS-FMDS

201220122012

Keyphrases

Publications

2012

Andreas Bollin, Abdollah Tabareh
Predictive Software Measures based on Z Specifications - A Case Study WS-FMDS (2012)
Simona Nica, Franz Wotawa
Using Constraints for Equivalent Mutant Detection WS-FMDS (2012)
Jasen Markovski
Scalable Minimization Algorithm for Partial Bisimulation WS-FMDS (2012)
Maria Spichkova, Florian Hölzl, David Trachtenherz
Verified System Development with the AutoFocus Tool Chain WS-FMDS (2012)
Raúl Pardo, Fernando L. Pelayo
ROSA Analyser: An automatized approach to analyse processes of ROSA WS-FMDS (2012)

volume 86, 2012

Proceedings 2nd Workshop on Formal Methods in the Development of Software, WS-FMDS 2012, Paris, France, August 28, 2012. WS-FMDS 86 (2012)