Legal full-text edition
Tools and Algorithms for the Construction and Analysis of Systems
Computer scienceComputer logicSoftware engineeringMathematical logicAlgorithmsLogic designArtificial intelligence
Rights
Public-domain status shown for GLOBAL. DOAB open-access record with explicit license: open access
Public-domain status shown for GLOBAL. DOAB open-access record with explicit license: open access