Invited Talks.- Formal Methods at NASA Langley.- Higher Order Unification 30 Years Later.- Regula...

This book constitutes the refereed proceedings of the 21st International Conference on Theorem Pr...

Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic...

This book constitutes the proceedings of the 24th International Conference on Formal Methods and ...

Scientists and engineers often have to deal with systems that exhibit random or unpredictable ele...