Behavioral Program Logic

Published in TABLEAUX, 2019

Recommended citation: Eduard Kamburjan. (2019). TABLEAUX. LNCS 11714