Conferences in DBLP

Irish Workshop in Formal Methods (IWFM) (iwfm)
1998 (conf/iwfm/1998)

1. Mícheál Mac an Airchinnigh
   Mathematics for Formal Methods, a Proposal for Education Reform. [Citation Graph (0, 0)][DBLP]
   IWFM, 1998, pp:- [Conf]
   
2. Claus Pahl
   Facilitating Modular Property-Preserving Extensions of Programming Languages. [Citation Graph (0, 0)][DBLP]
   IWFM, 1998, pp:- [Conf]
   
3. Brian Matthews, Elvira Locuratolo
   Translating Structured Database Schemas into Abstract Machines. [Citation Graph (0, 0)][DBLP]
   IWFM, 1998, pp:- [Conf]
   
4. Luming Lai
   An Unbounded Nondeterministic Model for CSP-like Languages. [Citation Graph (0, 0)][DBLP]
   IWFM, 1998, pp:- [Conf]
   
5. Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick
   A Case Study on Proving Transformations Correct: Data-Parallel Conversion. [Citation Graph (0, 0)][DBLP]
   IWFM, 1998, pp:- [Conf]
   
6. Arthur P. Hughes
   Towards an Override in Topoi. [Citation Graph (0, 0)][DBLP]
   IWFM, 1998, pp:- [Conf]
   
7. Terence J. Harmer, Patrick J. McParland, James M. Boyle
   Applications of the TAMPR Transformation System. [Citation Graph (0, 0)][DBLP]
   IWFM, 1998, pp:- [Conf]
   
8. J. Paul Gibson, Dominique Méry
   Teaching Formal Methods: Lessons to Learn. [Citation Graph (0, 0)][DBLP]
   IWFM, 1998, pp:- [Conf]
   
9. Hugh Gibbons
   Declarative View of Imperative Programs. [Citation Graph (0, 0)][DBLP]
   IWFM, 1998, pp:- [Conf]
   
10. Richard Shore
    A Use Case Interpretation of B AMN. [Citation Graph (0, 0)][DBLP]
    IWFM, 1998, pp:- [Conf]
    
11. Raphaël Couturier
    Formal Engineering of the Bitonic Sort using PVS. [Citation Graph (0, 0)][DBLP]
    IWFM, 1998, pp:- [Conf]
    
12. Mark Changizi
    Motivation for a New Semantics for Vagueness. [Citation Graph (0, 0)][DBLP]
    IWFM, 1998, pp:- [Conf]
    
13. Anthony Karel Seda, Pascal Hitzler
    Strictly Level-Decreasing Logic Programs. [Citation Graph (0, 0)][DBLP]
    IWFM, 1998, pp:- [Conf]