Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 6 of 8 found articles
 
 
  Retrenchment for Event-B: UseCase-wise development and Rodin integration
 
 
Title: Retrenchment for Event-B: UseCase-wise development and Rodin integration
Author: Banach, Richard
Appeared in: Formal aspects of computing
Paging: Volume 23 (2009) nr. 1 pages 113-131
Year: 2009
Contents:
Publisher: Springer-Verlag, London
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 6 of 8 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands