3 public-domain matches

Formal Semantics

Cover of A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Andreas Lochbihler

Cover of Sémantique formelle: Volume 1

Sémantique formelle: Volume 1

Laurent Roussarie

Cover of Adjectives Formal Analyses In Syntax And Semantics Patricia Cabredo Hofherr Ora Matushansky

Adjectives Formal Analyses In Syntax And Semantics Patricia Cabredo Hofherr Ora Matushansky

Agni Gour