Checking Critical Software Systems: A Formal Proposal.

Luis E. Mendoza Morales, Manuel I. Capel

Browse the full QUATIC paper archive.