Enabling continuous integration in a formal methods setting
Crossref DOI link: https://doi.org/10.1007/s10009-019-00546-y
Published Online: 2019-10-26
Published Print: 2020-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Couto, Luis Diogo
Tran-Jørgensen, Peter W. V.
Nilsson, René S.
Larsen, Peter Gorm
Text and Data Mining valid from 2019-10-26
Version of Record valid from 2019-10-26
Article History
First Online: 26 October 2019