Rohit Gheyi , David A. Naumann: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012.
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; ...
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; ...
$5.57
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; ...
$49.71
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, Sbmf 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Paperback).
CBSoft2012 - 15th Brazilian Symposium on Formal Methods (SBMF'2012) ... Brazil September 23-28, 2012 ... CBSoft will be held in Natal, an important city ...
Rating
(1)
Compiled from the proceedings of the 15th Brazilian Symposium on Formal Methods (SBMF 2012) held in Natal, Brazil, this book is essential for scholars, ...
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; ...
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in ...
Sep 25, 2012 · Invited talk for 15th Brazilian Symposium on Formal Methods. (SBMF), Natal, 25 Sep 2012. Page 2. The Versatile Synchronous Observer. John Rushby.