MLAT

swMATH582MaRDI QIDQ13337FDOQ13337

Author name not available (Why is that?)

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)

• Title not available (Why is that?)
• Data structures and concepts for adaptive finite element methods

This page was built for software: MLAT