EditorialGuest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015)
Under an Elsevier user license
open archive
Cited by (0)
© 2019 Published by Elsevier B.V.