Publication:2753719

From MaRDI portal

Jump to:navigation, search

zbMath0976.68573MaRDI QIDQ2753719

Mike Barnett, Margus Veanes, Egon Börger, Wolfram Schulte, Yuri Gurevich

Publication date: 11 November 2001

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

68N01: General topics in the theory of software

Uses Software

FALKO

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2753719&oldid=15626637"