Logical vs. behavioural specifications
Beneš, Nikola, Fahrenberg, Uli, Křetínský, Jan, Legay, Axel, Traonouez, Louis-MarieJournal:
Information and Computation
DOI:
10.1016/j.ic.2019.104487
Date:
November, 2019
File:
PDF, 1.19 MB
2019