PubPeer
The online Journal club
login
create account
Home
Publications
High-integrity code generation for state-based formalisms
Proceedings of the 22nd international conference on Software engineering - ICSE '00 (2000) -
Comments
doi: 10.1145/337180.337615
Michael W. Whalen
Go to article
Go to preprint
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})