Temporal multi-view contracts help developing efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Baltic journal of modern computing
2022
/
p. 710-737
https://doi.org/10.22364/bjmc.2022.10.4.07
https://www.scopus.com/sourceid/21100983350
https://www.scopus.com/record/display.uri?eid=2-s2.0-85145471459&origin=inward&txGid=4e8e17b35aa48b2bc65ce338cdc1c6f7
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BALT%20J%20MOD%20COMPUT&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000918356500008