Justin Pearson
Justin Pearson
Home
Publications
Teaching
Posts
Contact
Exploring properties of a telecommunication protocol with message delay using interactive theorem prover
Mats Carlsson
,
Catherine Dubois
,
Olga Grinchtein
,
Justin Pearson
January 2018
PDF
Cite
DOI
Type
Conference paper
Publication
SEFM 2018, the 16th International Conference on Software Engineering and Formal Methods
Cite
×