Follow
Formal Methods for the Informal Engineer: Workshop Recommendations. (arXiv:2104.00739v1 [cs.SE]) http://arxiv.org/abs/2104.00739
Formal Methods for the Informal Engineer: Workshop Recommendations. (arXiv:2104.00739v1 [cs.SE]) http://arxiv.org/abs/2104.00739