BibTeX records: Pier Luigi Iachini

download as .bib file

@inproceedings{DBLP:conf/icsr/DAlessandroIM93,
  author    = {Massimo D'Alessandro and
               Pier Luigi Iachini and
               Alessandra Martelli},
  title     = {The generic reusable component: an approach to reuse hierarchical
               {OO} designs},
  booktitle = {Proceedings Advances in Software Reuse, Selected Papers from the Second
               International Workshop on Software Reusability 1993, Lucca, Italy,
               March 24-26, 1993},
  pages     = {39--46},
  year      = {1993},
  crossref  = {DBLP:conf/icsr/1993},
  url       = {https://doi.org/10.1109/ASR.1993.291719},
  doi       = {10.1109/ASR.1993.291719},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsr/DAlessandroIM93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GiovanniI90,
  author    = {Raffaele di Giovanni and
               Pier Luigi Iachini},
  title     = {{HOOD} and {Z} for the Development of Complex Software Systems},
  booktitle = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
               Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
               1990, Proceedings},
  pages     = {262--289},
  year      = {1990},
  crossref  = {DBLP:conf/fm/1990},
  url       = {https://doi.org/10.1007/3-540-52513-0\_15},
  doi       = {10.1007/3-540-52513-0\_15},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/GiovanniI90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Iachini90,
  author    = {Pier Luigi Iachini},
  title     = {Operation Schema Iterations},
  booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
               Meeting, 17-18 December 1990},
  pages     = {50--57},
  year      = {1990},
  crossref  = {DBLP:conf/zum/1990},
  timestamp = {Fri, 24 May 2013 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zum/Iachini90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsr/1993,
  editor    = {Rub{\'{e}}n Prieto{-}D{\'{\i}}az and
               William B. Frakes},
  title     = {Proceedings Advances in Software Reuse, Selected Papers from the Second
               International Workshop on Software Reusability 1993, Lucca, Italy,
               March 24-26, 1993},
  publisher = {{IEEE}},
  year      = {1993},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=897},
  timestamp = {Sat, 25 May 2013 19:37:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsr/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1990,
  editor    = {Dines Bj{\o}rner and
               C. A. R. Hoare and
               Hans Langmaack},
  title     = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
               Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
               1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {428},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/3-540-52513-0},
  doi       = {10.1007/3-540-52513-0},
  isbn      = {3-540-52513-0},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1990,
  editor    = {J. E. Nicholls},
  title     = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
               Meeting, 17-18 December 1990},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1991},
  isbn      = {3-540-19672-2},
  timestamp = {Tue, 25 Feb 2003 13:22:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/zum/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier