This is the current revision of this page, as edited by imported>Daniel Hershcovich at 23:54, 9 December 2010(The term has a more general meaning than formal verification). The present address (URL) is a permanent link to this version.
Revision as of 23:54, 9 December 2010 by imported>Daniel Hershcovich(The term has a more general meaning than formal verification)
