The Michael Jackson Design Technique: A study of the theory with applications. Hoare, C. A. R. In ICSE Workshop: A Tribute to Michael Jackson, 2009.
Paper bibtex @inproceedings{jackson_JSP,
author = {Charles Anthony Richard Hoare},
editor = {Daniel Jackson},
title = {The Michael Jackson Design Technique: A study of the theory with applications.},
booktitle = {ICSE Workshop: A Tribute to Michael Jackson},
year = {2009},
url_paper={pubs/2009/hoare-jsp-3-29-09.pdf}
}
% Downloaded from http://people.csail.mit.edu/aleks/website/papers/abz14-arby.pdf by Matt, 2017-03-06
Downloads: 0
{"_id":"gsyneMr6akKtEbqp5","bibbaseid":"hoare-themichaeljacksondesigntechniqueastudyofthetheorywithapplications-2009","author_short":["Hoare, C. A. R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Charles","Anthony","Richard"],"propositions":[],"lastnames":["Hoare"],"suffixes":[]}],"editor":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"The Michael Jackson Design Technique: A study of the theory with applications.","booktitle":"ICSE Workshop: A Tribute to Michael Jackson","year":"2009","url_paper":"pubs/2009/hoare-jsp-3-29-09.pdf","bibtex":"@inproceedings{jackson_JSP,\n author = {Charles Anthony Richard Hoare},\n editor = {Daniel Jackson},\n title = {The Michael Jackson Design Technique: A study of the theory with applications.},\n booktitle = {ICSE Workshop: A Tribute to Michael Jackson},\n year = {2009},\n url_paper={pubs/2009/hoare-jsp-3-29-09.pdf}\n}\n\n% Downloaded from http://people.csail.mit.edu/aleks/website/papers/abz14-arby.pdf by Matt, 2017-03-06\n","author_short":["Hoare, C. A. R."],"editor_short":["Jackson, D."],"key":"jackson_JSP","id":"jackson_JSP","bibbaseid":"hoare-themichaeljacksondesigntechniqueastudyofthetheorywithapplications-2009","role":"author","urls":{" paper":"https://groups.csail.mit.edu/sdg/pubs/2009/hoare-jsp-3-29-09.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb"],"keywords":[],"search_terms":["michael","jackson","design","technique","study","theory","applications","hoare"],"title":"The Michael Jackson Design Technique: A study of the theory with applications.","year":2009}