14870767
Results 1 to 1 of 1
Selection :
Formalization and verification of a mail server in CoqAFFELDT, Reynald; KOBAYASHI, Naoki.Lecture notes in computer science. 2003, pp 217-233, issn 0302-9743, isbn 3-540-00708-3, 17 p.Conference Paper