Using Correct-by-Construction Software Agile Development
Crossref DOI link: https://doi.org/10.1007/978-3-319-77028-4_35
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shigemura, Rafael Augusto Lopes
Goncalves, Gildarcio Sousa
Dias, Luiz Alberto Vieira
Tasinaffo, Paulo Marcelo
da Cunha, Adilson Marques
Mizioka, Luciana Sayuri
Yanaguya, Leticia Hissae
Pugliese, Victor Ulisses
License valid from 2018-01-01