Logical vs. behavioural specificationsOpen Website

Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez

Published: 2020, Last Modified: 15 May 2023Inf. Comput. 2020Readers: Everyone
0 Replies