Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek. Temporal Multi-View Contracts Help Developing Efficient Test Models. Balt. J. Mod. Comput., 10(4), 2022. [doi]
@article{GuinVTV22-0, title = {Temporal Multi-View Contracts Help Developing Efficient Test Models}, author = {Jishu Guin and Jüri Vain and Leonidas Tsiopoulos and Gert Valdek}, year = {2022}, doi = {10.22364/bjmc.2022.10.4.07}, url = {https://doi.org/10.22364/bjmc.2022.10.4.07}, researchr = {https://researchr.org/publication/GuinVTV22-0}, cites = {0}, citedby = {0}, journal = {Balt. J. Mod. Comput.}, volume = {10}, number = {4}, }