FormaliSE@ICSE HAL FormaliSE 2021-9th International Conference on Formal Methods in Software Engineering FormaliSE 2021-9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France
Tests and Proofs ISBN: 9783030311568 TAP@FM International Conference on Tests and Proofs (TAP) International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩ Tests and Proofs-13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings Lecture Notes in Computer Science Lecture Notes in Computer Science-Tests and Proofs
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613 TACAS (1) Lecture Notes in Computer Science Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems TACAS 2019 TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩