Principles of abstract interpretation /

Bibliographic Details

Main Author:	Cousot, Patrick, 1948- (Author)
Corporate Author:	ProQuest (Firm)
Format:	eBook
Language:	English
Published:	Cambridge, Massachusetts : The MIT Press, [2021]
Subjects:	Semantic computing. Abstract data types (Computer science) Electronic books.
Online Access:	Connect to the full text of this electronic book