Skip to content

A Formal Approach to Hypertext using Post-Prototype Formal Specification.

Danny B. Lange

VenueBFM
Year1990
ProceedingsVDM Europe

Browse the full FM paper archive.