Martin J. M. de Boer

From MaRDI portal
Person:804296

Available identifiers

zbMath Open de-boer.martin-j-mMaRDI QIDQ804296

List of research outcomes





PublicationDate of PublicationType
Formal specification and verification of JDK's identity hash map implementation2024-09-27Paper
Formal specification and verification of JDK's identity hash map implementation2022-08-19Paper
https://portal.mardi4nfdi.de/entity/Q40367801993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40373041993-05-18Paper
A periodic division pattern that cannot be generated by D0L systems1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37797461987-01-01Paper

Research outcomes over time

This page was built for person: Martin J. M. de Boer

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