Result: Reasoning about Java programs in higher order logic using PVS and Isabelle

*Title*:

*Author/editor-in-chief*:

Huisman, Marieke

*Publication*:

Enschede : Ipskamp, 2001

*Physical description scale*:

240 S., [2] Bl

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Technische Universiteit Eindhoven. Instituut voor Programmatuurkunde en Algoritmiek: IPA dissertation series ; 2001,3
*show_all_volumes*

*Dissertation note*:

Zugl.: Nijmegen, Univ., Diss., 2001

*ISBN*:

9090144404

*Result*: Reasoning about Java programs in higher order logic using PVS and Isabelle