default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/iwfm:"
download as .bib file
@inproceedings{DBLP:conf/iwfm/BoltonL03,
author = {Christie Bolton and
Gavin Lowe},
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {On the Automatic Verification of Non-Standard Measures of Consistency},
booktitle = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
url = {http://ewic.bcs.org/content/ConWebDoc/4024},
timestamp = {Tue, 19 Jun 2018 08:05:11 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/BoltonL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Goldson03,
author = {Doug Goldson},
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {Derivation of Distributed Programs in the Theory of Owicki and Gries:
An Example},
booktitle = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
url = {http://ewic.bcs.org/content/ConWebDoc/4026},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Goldson03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/KeidarR03,
author = {Sharon Keidar and
Yoav Rodeh},
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {Searching for Counter-Examples Adaptively},
booktitle = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
url = {http://ewic.bcs.org/content/ConWebDoc/4021},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/KeidarR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/LafranceM03,
author = {St{\'{e}}phane Lafrance and
John Mullins},
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {Using Admissible Interference to Detect Denial of Service Vulnerabilities},
booktitle = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
url = {http://ewic.bcs.org/content/ConWebDoc/4025},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/LafranceM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/PlotkinP03,
author = {Gordon D. Plotkin and
John Power},
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {Logic for Computational Effects: Work in Progress},
booktitle = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
url = {http://ewic.bcs.org/content/ConWebDoc/4022},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/PlotkinP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/SedaL03,
author = {Anthony Karel Seda and
M{\'{a}}ire Lane},
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {On Continuous Models of Computation: Towards Computing the Distance
Between (Logic) Programs},
booktitle = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
url = {http://ewic.bcs.org/content/ConWebDoc/4020},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/SedaL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/YanS03,
author = {Lu Yan and
Kaisa Sere},
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {Stepwise Development of Peer-to-Peer Systems},
booktitle = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
url = {http://ewic.bcs.org/content/ConWebDoc/4023},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/YanS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwfm/2003,
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
timestamp = {Tue, 19 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/AzizH01,
author = {Benjamin Aziz and
Geoff W. Hamilton},
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {A Denotational Semantics for the Pi-Calculus},
booktitle = {5th Irish Workshop on Formal Methods, {IWFM} 2001, Dublin, Ireland,
16-17 July 2001},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2001},
url = {http://ewic.bcs.org/content/ConWebDoc/4142},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/AzizH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Dunne01,
author = {Steve Dunne},
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {Recasting Hoare and He's Unifying Theory of Programs in the Context
of General Correctness},
booktitle = {5th Irish Workshop on Formal Methods, {IWFM} 2001, Dublin, Ireland,
16-17 July 2001},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2001},
url = {http://ewic.bcs.org/content/ConWebDoc/4140},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Dunne01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Goldson01,
author = {Doug Goldson},
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {Multiprogram Design in the theory of Owicki and Gries},
booktitle = {5th Irish Workshop on Formal Methods, {IWFM} 2001, Dublin, Ireland,
16-17 July 2001},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2001},
url = {http://ewic.bcs.org/content/ConWebDoc/4141},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Goldson01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/HitzlerS01,
author = {Pascal Hitzler and
Anthony Karel Seda},
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {{VDM} meets {LCF:} Domain-Theoretic and Topological Aspects of {VDM}},
booktitle = {5th Irish Workshop on Formal Methods, {IWFM} 2001, Dublin, Ireland,
16-17 July 2001},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2001},
url = {http://ewic.bcs.org/content/ConWebDoc/4145},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/HitzlerS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Pahl01,
author = {Claus Pahl},
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {Observation and Abstract Behaviour in Specification and Implementation
of State-based Systems},
booktitle = {5th Irish Workshop on Formal Methods, {IWFM} 2001, Dublin, Ireland,
16-17 July 2001},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2001},
url = {http://ewic.bcs.org/content/ConWebDoc/4143},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Pahl01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/ReidKC01,
author = {N. Reid and
Peter Kilpatrick and
Maurice Clint},
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {Towards a Semantics For Multidimensional Array Assignment in Fortran
95},
booktitle = {5th Irish Workshop on Formal Methods, {IWFM} 2001, Dublin, Ireland,
16-17 July 2001},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2001},
url = {http://ewic.bcs.org/content/ConWebDoc/4144},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/ReidKC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/WoodcockC01,
author = {Jim Woodcock and
Ana Cavalcanti},
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {A Concurrent Language for Refinement},
booktitle = {5th Irish Workshop on Formal Methods, {IWFM} 2001, Dublin, Ireland,
16-17 July 2001},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2001},
url = {http://ewic.bcs.org/content/ConWebDoc/4146},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwfm/WoodcockC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwfm/2001,
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {5th Irish Workshop on Formal Methods, {IWFM} 2001, Dublin, Ireland,
16-17 July 2001},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2001},
timestamp = {Thu, 25 Mar 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwfm/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Currie00,
author = {A. J. Currie},
editor = {David Sinclair and
J. Paul Gibson},
title = {A Comparison of Three Model Checkers Applied to a Distributed Database
Problem},
booktitle = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
5th-6th July 2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4195},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Currie00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/HitzlerS00,
author = {Pascal Hitzler and
Anthony Karel Seda},
editor = {David Sinclair and
J. Paul Gibson},
title = {A Note on the Relationships Between Logic Programs and Neural Networks},
booktitle = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
5th-6th July 2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4196},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/HitzlerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/KingM00,
author = {Steve King and
Carroll Morgan},
editor = {David Sinclair and
J. Paul Gibson},
title = {An Iterator Construct for the Refinement Calculus},
booktitle = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
5th-6th July 2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4197},
timestamp = {Wed, 09 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/KingM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Pahl00,
author = {Claus Pahl},
editor = {David Sinclair and
J. Paul Gibson},
title = {Modal Logics for Reasoning about Object-based Component Composition},
booktitle = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
5th-6th July 2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4198},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Pahl00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Pahl00a,
author = {Claus Pahl},
editor = {David Sinclair and
J. Paul Gibson},
title = {An Algebraic Basis for Specifying and Enforcing Access Control in
Security Systems},
booktitle = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
5th-6th July 2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4199},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Pahl00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/PoppletonB00,
author = {Michael Poppleton and
Richard Banach},
editor = {David Sinclair and
J. Paul Gibson},
title = {Retrenchment: Extending Refinement for Continuous and Control Systems},
booktitle = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
5th-6th July 2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4200},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/PoppletonB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Tabacznyj00,
author = {Christophe Tabacznyj},
editor = {David Sinclair and
J. Paul Gibson},
title = {Abstract Clustering for Program Comprehension},
booktitle = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
5th-6th July 2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4201},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Tabacznyj00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwfm/2000,
editor = {David Sinclair and
J. Paul Gibson},
title = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
5th-6th July 2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
timestamp = {Thu, 25 Mar 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwfm/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/BicarreguiM99,
author = {Juan Bicarregui and
Brian Matthews},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Proof and Refutation in Formal Software Development},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4222},
timestamp = {Tue, 19 Jun 2018 08:04:47 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/BicarreguiM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/BickfordH99,
author = {Mark Bickford and
Jason Hickey},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Predicate Transformers for Infinite-State Automata in NuPRL Type Theory},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4223},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/BickfordH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/BryansD99,
author = {Jeremy W. Bryans and
John Derrick},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Stochastic Specification and Verification},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4224},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwfm/BryansD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Droschl99,
author = {Georg Droschl},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {On the Integration of Formal Methods: Events and Scenarios in {PVS}
and {VDM}},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4225},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Droschl99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Farmer99,
author = {William M. Farmer},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {A Scheme for Defining Partial Higher-Order Functions by Recursion},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4226},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Farmer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/GrayHSGP99,
author = {David Gray and
Geoff W. Hamilton and
David Sinclair and
J. Paul Gibson and
James F. Power},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Four Logics and a Protocol},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4227},
timestamp = {Wed, 05 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwfm/GrayHSGP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/HitzlerS99,
author = {Pascal Hitzler and
Anthony Karel Seda},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4230},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/HitzlerS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/LoweL99,
author = {Helen Lowe and
John Lowe},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {The Role of Proof in a Formal Specification of the Speedway Rulebook},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4231},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/LoweL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/McLoughlinH99,
author = {Henry McLoughlin and
Kevin Hely},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Some optimisation problems revisited},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4232},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/McLoughlinH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Meudec99,
author = {Christophe Meudec},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Tests Derivation from Model Based Formal Specifications},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4233},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Meudec99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Miller99,
author = {J. F. Miller},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Teaching and Learning Formal Methods, Improving Productivity},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4234},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Miller99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/MoraesFW99,
author = {Vanderlei Moraes Rodrigues and
Fl{\'{a}}vio Rech Wagner},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {A Logic to Specify and Verify Synchronous Transitions},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4236},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/MoraesFW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Pahl99,
author = {Claus Pahl},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Modular Composition of Language Features through Extensions of Semantic
Language Models},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4235},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Pahl99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Schellekens99,
author = {Michel P. Schellekens},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Valuations revisited},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4237},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Schellekens99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Serrano99,
author = {J. Artur Serrano},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Formal Specifications of Software Design Methods},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4238},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Serrano99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwfm/1999,
editor = {Andrew Butterfield and
Klemens Haegele},
title = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
timestamp = {Tue, 19 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Airchinnigh98,
author = {M{\'{\i}}che{\'{a}}l Mac an Airchinnigh},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Mathematics for Formal Methods, a Proposal for Education Reform},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4395},
timestamp = {Tue, 19 Jun 2018 08:04:33 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Airchinnigh98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Changizi98,
author = {Mark Changizi},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Motivation for a New Semantics for Vagueness},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4383},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Changizi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Couturier98,
author = {Rapha{\"{e}}l Couturier},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Formal Engineering of the Bitonic Sort using {PVS}},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4384},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Couturier98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Gibbons98,
author = {Hugh Gibbons},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Declarative View of Imperative Programs},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4385},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Gibbons98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/GibsonM98,
author = {J. Paul Gibson and
Dominique M{\'{e}}ry},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Teaching Formal Methods: Lessons to Learn},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4386},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/GibsonM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/HarmerMB98,
author = {Terence J. Harmer and
Patrick J. McParland and
James M. Boyle},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Applications of the {TAMPR} Transformation System},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4387},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/HarmerMB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Hughes98,
author = {Arthur P. Hughes},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Towards an Override in Topoi},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4391},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Hughes98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/KilpatrickCK98,
author = {Stephen Kilpatrick and
Maurice Clint and
Peter Kilpatrick},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {A Case Study on Proving Transformations Correct: Data-Parallel Conversion},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4392},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/KilpatrickCK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Lai98,
author = {Luming Lai},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {An Unbounded Nondeterministic Model for CSP-like Languages},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4393},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Lai98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/MatthewsL98,
author = {Brian Matthews and
Elvira Locuratolo},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Translating Structured Database Schemas into Abstract Machines},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4394},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/MatthewsL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Pahl98,
author = {Claus Pahl},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Facilitating Modular Property-Preserving Extensions of Programming
Languages},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4396},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Pahl98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/SedaH98,
author = {Anthony Karel Seda and
Pascal Hitzler},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Strictly Level-Decreasing Logic Programs},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4397},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/SedaH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Shore98,
author = {Richard Shore},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {A Use Case Interpretation of {B} {AMN}},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4398},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Shore98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwfm/1998,
editor = {Sharon Flynn and
Andrew Butterfield},
title = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
timestamp = {Tue, 19 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/FowlerS97,
author = {Danielle C. Fowler and
Paul A. Swatman},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {Presenting Object Oriented Formal Requirements Specifications: Insights
from an Action Research Study},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4606},
timestamp = {Tue, 19 Jun 2018 08:04:20 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/FowlerS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Geiselbrechtinger97,
author = {Franz Geiselbrechtinger},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {Computer Aided Incremental Specification},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4607},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Geiselbrechtinger97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/GibsonMM97,
author = {J. Paul Gibson and
Bruno Mermet and
Dominique M{\'{e}}ry},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {Feature Interactions: {A} Mixed Semantic Model Approach},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4608},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/GibsonMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Herbert97,
author = {John Herbert},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {A Simple Algorithm Specification Language and its Application},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4609},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Herbert97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/HughesP97,
author = {Arthur P. Hughes and
Claus Pahl},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {A Generic Model for State-based Agent Systems},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4610},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/HughesP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/LaiS97,
author = {Luming Lai and
Jeff W. Sanders},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {A Refinement Calculus for Communicating Processes with State},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4611},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/LaiS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Lowe97,
author = {Helen Lowe},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {The Use of Theorem Provers in the Teaching and Practice of Formal
Methods},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4612},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Lowe97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/MalikL97,
author = {N. Malik and
Kevin Lano},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {A Formal Approach to Design Patterns in Re-Engineering},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4613},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/MalikL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/MonahanG97,
author = {Rosemary Monahan and
Franz Geiselbrechtinger},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {Tactics for Transformational Programming},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4614},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/MonahanG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Poppleton97,
author = {Michael Poppleton},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {The Single Transferable Voting System: Functional Decomposition in
Formal Specification},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4615},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Poppleton97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/RiddleW97,
author = {S. Riddle and
P. Wallis},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {Denotational Semantics and Refinement},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4616},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/RiddleW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Sherratt97,
author = {Edel Sherratt},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {Nonmonotonic Reasoning and Formal Software Development},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4617},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Sherratt97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/Stewart97,
author = {Alan Stewart},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {An Axiomatic Semantics for Data Parallel Computation},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4618},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/Stewart97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/YangS97,
author = {Hongji Yang and
Yong Sun},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {Reverse Engineering and Reusing {COBOL} Programs: {A} Program Transformation
Approach},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4619},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/YangS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwfm/1997,
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
timestamp = {Tue, 19 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-10 06:16 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
