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

1
Published 2011
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

2
Published 2015
Springer International Publishing
Table of Contents: “...Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration...”
Cover Image
Read Now

3
Published 2012
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”