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

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson
Publisher: Turku Centre for Computer Science (TUCS)
Place: Åbo
Publication year: 2001
Title of series: TUCS Technical Report
Number of pages: 64
ISBN: 952-12-0939-9
ISSN: 1239-1891

Last updated on 2019-19-10 at 04:10