Designing a satellite tracking system with the use of PVS and maple / Marieke HuismanBinary addition in lego / Marieke HuismanJava program verification via a Hoare logic with abrupt termination / M. Huisman, B.P.F. JacobsJava program verification via a Hoare logic with abrupt termination / M. Huisman, B.P.F. JacobsInheritance in higher order logic : modeling and reasoning / M. Huisman, B.P.F. JacobsA case study in class library verification: Java's vector class / M. Huisman, B.P.F. Jacobs, J.A.G.M. van den BergReasoning about Java programs in higher order logic using PVS and Isabelle / Marieke HuismanSoftware reliability for everyone / Prof. dr. Marieke Huisman