Your search returned 2 results.

Results
	1.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / by Qin, Shengchao [editor.] Woodcock, Jim [editor.] Zhang, Wenhui [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13071 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / by Graf, Susanne [editor.] Zhang, Wenhui [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4218 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search