THE FORMAL SPECIFICATION OF ABSTRACT-DATA-TYPES AND THEIR IMPLEMENTATION IN FORTRAN-90

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	201-225
Number of pages	25
Journal	Computer Physics Communications
Volume	84(1-3)
Publication status	Published - Nov 1994

Cite this

@article{f395d25ecacb463283b1e24409f8d41b,

title = "THE FORMAL SPECIFICATION OF ABSTRACT-DATA-TYPES AND THEIR IMPLEMENTATION IN FORTRAN-90",

author = "Stan Scott and Peter Kilpatrick and D. Maley",

year = "1994",

month = nov,

language = "English",

volume = "84(1-3)",

pages = "201--225",

journal = "Computer Physics Communications",

issn = "0010-4655",

publisher = "Elsevier B.V.",

}