Concise guide to formal methods : theory, fundamentals and industry applications /: theory, fundamentals and industry applications. (2017) - O'Regan, Gerard (Cornelius Gerard)
No abstract available