Jelmer ter Wal - Java Collections API Specifications in JML

author:Jelmer ter Wal
title:Java Collections API Specifications in JML
keywords:separation logic, dynamic frames, JML, specification, verification
topics:Case studies and Applications, Languages
committee:dr. W.I. Mostowski
prof.dr. M. Huisman
dr. S.C.C. Blom
graduation date:September 2013


Abstract