Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998 (Q1566920)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998 |
scientific article; zbMATH DE number 1454822
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998 |
scientific article; zbMATH DE number 1454822 |
Statements
Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998 (English)
0 references
30 November 2000
0 references
The articles of this volume will be reviewed individually. The Proceedings of this conference have been published in Lecture Notes Computer Science Vol. 1422 (see Zbl 0891.00027). The Selected Papers of the 3rd conference (1995) have been reviewed (see Zbl 0851.00085). The Proceedings of the 5th conference (2000) have been published in Lecture Notes Computer Science Vol. 1837 (see Zbl 0941.00030).
0 references
Special issue
0 references
Island of Marstrand near Göteborg (Sweden)
0 references
Conference
0 references
Papers
0 references
Program construction
0 references
0.94439495
0 references
0.8790017
0 references
0.87534845
0 references
0.8717141
0 references
0.8681715
0 references
0.8667425
0 references
0.8664601
0 references
0 references
