Concise guide to formal methods - theory, fundamentals and industry applica 2017 · ENGLISH · PDF View details →