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 2020-27-05 at 02:45