Login
|
New Account
ITA
ENG
The weakest precondition calculus:recursion and duality
Authors
Marcello M.Bosangue
Joost N.Kok
Citation
Marcello M.bosangue et Joost N.kok, The weakest precondition calculus:recursion and duality, Formal aspects of computing The international journal of formal methods , 6(6A), 1994, pp. 788-800
Journal title
Formal aspects of computing The international journal of formal methods
→
ACNP
ISSN journal
09345043
Volume
6
Issue
6A
Year of publication
1994
Pages
788 - 800
Database
ACNP
SICI code