DMCA

How to Construct Formal Arguments that Persuade Certifiers (1999)

by Andrew P. Moore , J. Eric Klinker , David M. Mihelcic
Venue:IN INDUSTRIAL-STRENGTH FORMAL METHODS IN PRACTICE
Citations:4 - 0 self