Analyzing Java in Isabelle-HOL formalization, type safety and Hoare logic /

Description

München, Techn. University, Diss., 2001.

Links & Downloads

1. http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2001/oheimb.pdf
2. http://deposit.ddb.de/cgi-bin/dokserv?idn=962067091

Tags

Java <Programmiersprache>

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76253473
Date	January 2001
Creators	Oheimb, David von.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	English
Detected Language	English