Languages
Bjorner, Dines.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Logics of Specification Languages
by:
SpringerLink (Online service); Bjorner, Dines.; Henson, Martin C.
(Electronic resources)