Ethernal
@ethernal-tech
Gabriela Moreira (Informal Systems) talks about Quint, a modern and executable specification language. https://www.youtube.com/watch?v=QnmreTnSaeI
0 reply
0 recast
0 reaction