Open AccessIntegrating tools to reason about Reo circuits
Author(s) -
Mariana Ferreira,
Bruno Lopes
Publication year - 2022
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5753/wbl.2022.222914
Subject(s) - compiler , computer science , programming language , interface (matter) , set (abstract data type) , software , software engineering , certification , operating system , bubble , maximum bubble pressure method , political science , law
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom