*0011416653
*008060817s2006    xx#           000 0 eng
*019  $bk
*08230$a004.0151
*100  $aBortin, Maksym$uUniversität Bremen, Department of Mathematics and Computer Science, Bremen, Germany ; maxim@informatik.uni-bremen.de$_159436700
*245  $aStructured formal development in Isabelle
*300  $aS. [2]-21
*500  $aVitenskapelig artikkel
*5208 $aInneholder sammendrag
*650  $amatematisk$alogikk$2norart$_15514300
*650  $amatematiske prinsipper$9nor$2norart$_139398800
*650  $aprogramvareutvikling$2norart$_17366000
*653  $amonads$9eng$_153942900
*653  $aprogram development$9eng$_159436800
*653  $atheorem provers$9eng$_159436900
*653  $atransformation$9eng$_131009900
*700  $aJohnsen, Einar Broch;$uUniversity of Oslo, Department of Informatics, Oslo, Norway ; einar@ifi.uio.no$_159437000
*700  $aLüth, Christoph$uDeutsches Forschungszentrum für Künstliche Intelligenz, Lab Bremen, Bremen, Germany ; Christoph.Lueth@dfki.de$_159437100
*773  $tNordic journal of computing$gVol. 13, nr 1/2 (2006)$x1236-6064$w(NO-LaBS)69800(tnr)
*999  $z600393192$anorart:600393192
^