Automatic Generation and Checking of Program Specifications

Bibliographic Details
Main Authors:	Nimmer, Jeremy W., Ernst, Michael D.
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149926

Internet

https://hdl.handle.net/1721.1/149926