A Methodology for integration of formal methods in a healthcare case study

Luigia Petre, Elena Troubitsyna, Marina Walden, Pontus Boström, Niklas Engblom, Micaela Jansson

Research output: Book/ReportCommissioned reportProfessional

Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science (TUCS)
Number of pages64
ISBN (Print)952-12-0939-9
Publication statusPublished - 2001
MoE publication typeD4 Published development or research report or study

Cite this