The Meaning of ``Formal''

Wolper, Pierre

doi:10.1145/242224.242386

Download

Article (Scientific journals)

The Meaning of ``Formal''

Wolper, Pierre

1996 • In ACM Computing Surveys, 28 (4es), p. 127

Peer Reviewed verified by ORBi

Permalink
https://hdl.handle.net/2268/163839

DOI
10.1145/242224.242386

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

The Meaning of « Formal ».pdf

Author postprint (43.39 kB)

Download

© ACM, 1996. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Computing Surveys, vol. 28; 4es, http://doi.acm.org/10.1145/242224.242386

All documents in ORBi are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

formal methods

Disciplines :

Computer science

Author, co-author :

Wolper, Pierre ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique

Language :

English

Title :

The Meaning of ``Formal''

Publication date :

1996

Journal title :

ACM Computing Surveys

ISSN :

0360-0300

Publisher :

Association for Computing Machinery

Volume :

Issue :

4es

Pages :

127

Peer reviewed :

Peer Reviewed verified by ORBi

Available on ORBi :

since 04 March 2014

Statistics

Number of views

27 (4 by ULiège)

Number of downloads

26 (0 by ULiège)

More statistics

OpenCitations