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

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Language-Based Abstraction Refinement for Hybrid System Verification -- More Precise Partition Abstractions...”