Search alternatives:
languages » language
Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...The Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented...”
Cover Image
Read Now

2
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... predicate logic as metatheory -- Model building and interactive theory discovery -- Link deletion in model...”
Cover Image
Read Now

3
Published 2019
Springer International Publishing
Table of Contents: “... Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static...”