-
Testing Software and Systems – 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Yenigün, Hüsnü ; Yilmaz, Cemal ; Ulrich, Andreas 2013 Springer International Publishing
-
Formal Methods and Software Engineering – 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Groves, Lindsay 2013 Springer Berlin Heidelberg
-
Software Engineering and Formal Methods – 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Formal Methods for Industrial Critical Systems – 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Frontiers of Combining Systems – 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Reachability Problems – 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Abdulla, Parosh Aziz ; Potapov, Igor 2013 Springer Berlin Heidelberg
-
Formal Methods: Foundations and Applications – 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
2013 Springer Berlin Heidelberg
-
Fundamentals of Software Engineering – 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
2013 Springer Berlin Heidelberg
-
Structured Object-Oriented Formal Language and Method – Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Liu, Shaoying 2013 Springer Berlin Heidelberg
-
Quantitative Evaluation of Systems – 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Implementation and Application of Automata – 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Konstantinidis, Stavros 2013 Springer Berlin Heidelberg
-
Computer Aided Verification – 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Hardware and Software: Verification and Testing – 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
2013 Springer Berlin Heidelberg
-
Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data – Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings
Holzinger, Andreas ; Pasi, Gabriella 2013 Springer Berlin Heidelberg
-
Application and Theory of Petri Nets and Concurrency – 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Colom, José-Manuel ; Desel, Jörg 2013 Springer Berlin Heidelberg
-
Embedded Systems: Design, Analysis and Verification – 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
Schirner, Gunar ; Götz, Marcelo ; Rettberg, Achim ; Zanella, Mauro C. ; Rammig, Franz Josef 2013 Springer Berlin Heidelberg
-
Formal Methods for Dynamical Systems – 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Bernardo, Marco ; de Vink, Erik ; Di Pierro, Alessandra ; Wiklicky, Herbert 2013 Springer Berlin Heidelberg
-
Tests and Proofs – 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Veanes, Margus ; Viganò, Luca 2013 Springer Berlin Heidelberg
-
Model Checking Software – 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
Bartocci, Ezio ; Ramakrishnan, C. R. 2013 Springer Berlin Heidelberg
-
Formal Techniques for Distributed Systems – Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Beyer, Dirk ; Boreale, Michele 2013 Springer Berlin Heidelberg