LIBRARY Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings 2013 · ENGLISH · PDF View details →
LIBRARY Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings 1999 · ENGLISH · PDF View details →
LIBRARY Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995) 1997 · ENGLISH · PDF View details →
LIBRARY Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 2010 · ENGLISH · PDF View details →
LIBRARY Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 2010 · ENGLISH · PDF View details →
LIBRARY Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings 1999 · ENGLISH · PDF View details →