Kaufman Award in Formal Methods
E384575
UNEXPLORED
The Kaufman Award in Formal Methods is a prestigious honor recognizing outstanding contributions to the theory and practice of formal methods in computer science and system design.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.