Conference
Proofs and refutations for probabilistic refinement
Authors
McIver AK; Morgan CC; Conzalia C
Editors
Cuellar J; Maibaum T; Sere K
Series
Lecture Notes in Computer Science
Volume
5014
Pagination
pp. 100-+
Publisher
SPRINGER-VERLAG BERLIN
Publication Date
January 1, 2008
ISBN-13
978-3-540-68235-6
Name of conference
15th International Symposium on Formal Methods
Conference place
Turku, FINLAND
Conference start date
May 26, 2008
Conference end date
May 30, 2008
Conference proceedings
FM 2008: FORMAL METHODS, PROCEEDINGS
ISSN
0302-9743