Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language
Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Rewriting -- Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools -- A...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Languages -- Formal Specification and Verification of ARM6 -- A Programming Logic for Java Bytecode Programs...”