Tahina Ramananandro

From MaRDI portal
Person:2819846

Available identifiers

zbMath Open ramananandro.tahinaMaRDI QIDQ2819846

List of research outcomes





PublicationDate of PublicationType
Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms2023-11-24Paper
Deep specifications and certified abstraction layers2016-09-29Paper
A mechanized semantics for C++ object construction and destruction, with applications to resource management2015-09-11Paper
Formal verification of object layout for C++ multiple inheritance2014-04-10Paper

Research outcomes over time

This page was built for person: Tahina Ramananandro

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2819846&oldid=7817366"
Powered by MediaWiki