"122","Sequential Program Development","","http://deploy-eprints.ecs.soton.ac.uk/122/","Abrial, Jean-Raymond","UNSPECIFIED","       <span class=\"person_name\">Abrial, Jean-Raymond</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/122/\"><em>Sequential Program Development.</em></a>       [Teaching Resource]         (Unpublished)   ","jabrial@inf.ethz.ch",""
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>