Jive Data and Store Model

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361676FDO

Authors Nicole Rauch, Norbert Schirmer

Publication date 20 June 2005

An architecture for interactive program provers

This page was built for software: Jive Data and Store Model

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Jive_Data_and_Store_Model&oldid=105367202"