Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
KRAMER Reto,iContract-The Java^<TM> Design by Contract^<TM> Tool,TOOLS USA'98,,,1998,,,,https://cir.nii.ac.jp/crid/1570291225706038528,