Verifiable functional purity in java

Open Webpage

Matthew Finifter, Adrian Mettler, Naveen Sastry, David A. Wagner

Published: 2008, Last Modified: 14 May 2025CCS 2008EveryoneRevisionsBibTeXCC BY-SA 4.0