Software Engineering and Formal Methods
Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
Pasareanu, Corina S.; Calinescu, Radu
Springer Nature Switzerland AG
12/2021
522
Mole
Inglês
9783030921231
15 a 20 dias
819