Loading…

Edmund Melson Clarke, Jr. (1945–2020)

Saved in:

Bibliographic Details
Published in:	Formal methods in system design 2022-06, Vol.60 (3), p.327-328
Main Authors:	Gao, Sicun, Grumberg, Orna, Zuliani, Paolo
Format:	Article
Language:	English
Subjects:	CAE) and Design Circuits and Systems Computer-Aided Engineering (CAD Electrical Engineering Engineering Software Engineering/Programming and Operating Systems
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!