F.Kordon. Refining middleware functions for verification purpose (2003)

by L Pautet J Hugues
Venue:In Proceedings of the Monterey Workshop 2003 (MONTEREY’03