Your search returned 2 results.

Results
	1.	Concise Guide to Software Verification [electronic resource] : From Model Checking to Annotation Checking / by Marieke Huisman, Anton Wijs. by Huisman, Marieke [author.] Wijs, Anton [author.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.14. Place hold Save to lists
	2.	Intelligent Crowdsourced Testing [electronic resource] / by Qing Wang, Zhenyu Chen, Junjie Wang, Yang Feng. by Wang, Qing [author.] Chen, Zhenyu [author.] Wang, Junjie [author.] Feng, Yang [author.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.14. Place hold Save to lists

Refine your search