Industrial Use of Formal Methods: Formal Verification

You're viewing the eBook edition. A preview of the Hardcover edition is currently not available.

You've Reached the End of Sample

by Jean-Louis Boulanger