Ensuring Correctness of Network Services with MIDAS

Luigia Petre, K Sere, M Waldén

Research output: Book/Journal/ReportCommissioned reportProfessional

Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science
ISBN (Print)978-952-12-2280-1
Publication statusPublished - 2009
MoE publication typeD4 Published development or research report or study

Cite this