Andrzej Blikle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
3
Active years
1973–1990
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | FM | On Conservative Extensions of Syntax in the Process of System Development. | Andrzej Blikle, Mikkel Thorup |
| 1988 | FM | Three-Valued Predicates for Software Specification and Validation. | Andrzej Blikle |
| 1988 | FM | A Three-Valued Logic for Software Specification and Validation. | Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle |
| 1987 | FM | Denotational Engineering or from Denotations to Syntax. | Andrzej Blikle |
| 1979 | MFCS | Assertion Programming. | Andrzej Blikle |
| 1977 | MFCS | A Comparative Review of Some Program Verification Methods. | Andrzej Blikle |
| 1976 | MICRO | Certification of microprograms by an algebraic method. | Andrzej Blikle, Stanislaw Budkowski |
| 1974 | MFCS | Proving Programs by Sets of Computations. | Andrzej Blikle |
| 1973 | MFCS | An Algebraic Approach to Programs and Their Computations. | Andrzej Blikle |