Legal full-text edition
Formal Methods
architecture verification and validationartificial intelligencedesign and analysis of algorithmscomputational complexity and cryptographyembedded systemsmodel checkingformal methods
Rights
Public-domain status shown for GLOBAL. OAPEN open-access record with explicit license: CC-BY
Public-domain status shown for GLOBAL. OAPEN open-access record with explicit license: CC-BY