MLAT

MaRDI QIDQ13337swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1722659

Described by source

• MLAT: a tool for heap analysis based on predicate abstraction by modal logic

Cited in

(2)

• scientific article; zbMATH DE number 478059 (Why is no real title available?)
• Data structures and concepts for adaptive finite element methods

This page was built for software: MLAT