-
1
NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Published 2013“…Dynamical Systems Using Numerical Methods /…”
Full Text (via Springer)
Conference Proceeding eBook -
2
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings /
Published 2019Full Text (via Springer)
Electronic Conference Proceeding eBook -
3
FM 2012 formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings /
Published 2012Full Text (via Springer)
Electronic Conference Proceeding eBook -
4
Principles and practice of constraint programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings /
Published 2012Full Text (via Springer)
Electronic Conference Proceeding eBook