Structuring Z Specifications with Views. Jackson, D. ACM Trans. Softw. Eng. Methodol., 4(4):365-389, 1995. bibtex @article{DBLP:journals/tosem/Jackson95a,
author = {Daniel Jackson},
title = {Structuring Z Specifications with Views},
journal = {ACM Trans. Softw. Eng. Methodol.},
volume = {4},
number = {4},
year = {1995},
pages = {365-389},
}
Downloads: 0
{"_id":"vjrR8cf8QXLFLTR6j","bibbaseid":"jackson-structuringzspecificationswithviews-1995","author_short":["Jackson, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Structuring Z Specifications with Views","journal":"ACM Trans. Softw. Eng. Methodol.","volume":"4","number":"4","year":"1995","pages":"365-389","bibtex":"@article{DBLP:journals/tosem/Jackson95a,\n author = {Daniel Jackson},\n title = {Structuring Z Specifications with Views},\n journal = {ACM Trans. Softw. Eng. Methodol.},\n volume = {4},\n number = {4},\n year = {1995},\n pages = {365-389},\n}\n\n","author_short":["Jackson, D."],"key":"DBLP:journals/tosem/Jackson95a","id":"DBLP:journals/tosem/Jackson95a","bibbaseid":"jackson-structuringzspecificationswithviews-1995","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb","MautteQst6amcB23d"],"keywords":[],"search_terms":["structuring","specifications","views","jackson"],"title":"Structuring Z Specifications with Views","year":1995}