BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
Collaborated with:
J.S.Fitzgerald T.M.Brookes P.G.Larsen
Talks about:
system (1) specif (1) result (1) inform (1) formal (1) compon (1) compar (1) studi (1) secur (1) first (1)

Person: M. A. Green

DBLP DBLP: Green:M=_A=

Contributed to:

FME 19941994

Wrote 1 papers:

FME-1994-FitzgeraldBGL #case study #comparative #component #specification
Formal and Informal Specifications of a Secure System Component: first results in a comparative study (JSF, TMB, MAG, PGL), pp. 35–44.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.