Verification of an interactive software by analysis of its formal specification.

Philippe A. Palanque, Rmi Bastide

Browse the full Interact paper archive.