Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("HENNICKER, R")

Results 1 to 8 of 8

  • Page / 1
Export

Selection :

  • and

Context induction : a proof principle for behavioural abstractions and algebraic implementationsHENNICKER, R.Formal aspects of computing. 1991, Vol 3, Num 4, pp 326-345, issn 0934-5043Article

Observational implementation of algebraic specificationsHENNICKER, R.Acta informatica. 1991, Vol 28, Num 3, pp 187-230, issn 0001-5903, 44 p.Article

A semi-algorithm for algebraic implementation proofsHENNICKER, R.Theoretical computer science. 1992, Vol 104, Num 1, pp 53-87, issn 0304-3975Conference Paper

Modular correctness proofs of behavioural implementationsBIDOIT, M; HENNICKER, R.Acta informatica. 1998, Vol 35, Num 11, pp 951-1005, issn 0001-5903Article

Observational logicHENNICKER, R; BIDOIT, M.Lecture notes in computer science. 1999, pp 263-277, issn 0302-9743, isbn 3-540-65462-3Conference Paper

Behavioural and abstractor specificationsBIDOIT, M; HENNICKER, R; WIRSING, M et al.Science of computer programming. 1995, Vol 25, Num 2-3, pp 149-186, issn 0167-6423Conference Paper

Correct realizations of interface constraints with OCLBIDOIT, M; HENNICKER, R; TORT, F et al.Lecture notes in computer science. 1999, pp 399-415, issn 0302-9743, isbn 3-540-66712-1Conference Paper

Proof systems for structured algebraic specifications : An overviewHENNICKER, R; WIRSING, M.Lecture notes in computer science. 1997, pp 19-37, issn 0302-9743, isbn 3-540-63386-3Conference Paper

  • Page / 1