Login / Signup
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018.
Published in:
MARS/VPT@ETAPS (2018)
Keyphrases
</>
international workshop
formal analysis
acm sigkdd
selected papers
formal methods
domain driven data mining
pacific rim
lecture notes in artificial intelligence
revised selected papers
model checking
intelligent systems
agent model
data mining