Principles of model checking

Name: Principles of model checking
Author: Christel Baier

Popularity 4

No description available.

Computer systemsVerificationComputer softwareSystems softwareComputer software, verificationQuality control & testing - programmingGeneral & miscellaneous computing