Program Annotation and Analysis
Year: 1983
Type: book-chapter
Source: Birkhäuser Boston eBooks
Parent work: The Evolution of Programs
Author: Nachum Dershowitz
Institution: University of Illinois Urbana-Champaign
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W53394136