A domain-specific language for verifying software requirement constraints
Vidal, Marzina, Massoni, Tiago, Ramalho, FranklinVolume:
197
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2020.102509
Date:
October, 2020
File:
PDF, 3.37 MB
2020