Corina S. Păsăreanu - Böcker
Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
885 kr
Skickas inom 10-15 vardagar
Symbolic Execution and Quantitative Reasoning
Applications to Software Safety and Security
273 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing – ICTAC 2022
19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings
556 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
553 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
553 kr
Skickas inom 10-15 vardagar
Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
556 kr
Skickas inom 10-15 vardagar
Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
512 kr
Skickas inom 10-15 vardagar