-
1
Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
Published 2013Full Text (via Springer)
Conference Proceeding eBook -
2
NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Published 2013Full Text (via Springer)
Conference Proceeding eBook -
3
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings /
Published 2019Full Text (via Springer)
Electronic Conference Proceeding eBook -
4
FM 2012 formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings /
Published 2012Full Text (via Springer)
Electronic Conference Proceeding eBook -
5
Runtime verification third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /
Published 2013Full Text (via Springer)
Electronic Conference Proceeding eBook -
6
Recent advances in the message passing interface 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011, proceedings /
Published 2011Full Text (via Springer)
Electronic Conference Proceeding eBook -
7
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