Towards accessible integration and deployment of formal tools and techniques.

Andrei Lapets Richard Skowyra Azer Bestavros Assaf J. Kfoury

Published in: TOPI@ICSE (2013)

Keyphrases

formal methods
formal models
management tools
formal model
software tools
machine learning
information retrieval
digital libraries
mobile devices
business intelligence
data integration
visual languages