au.\*:("HENNICKER, R")
Results 1 to 8 of 8
Selection :
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