Skip to content
Vinony

Specification and verification of declarative open interaction models

by Marco Montali

Cover of Specification and verification of declarative open interaction models

No description available.

Computer logicComputational intelligenceDeclarative programming languagesManagement information systemsInformation technologyBusiness