Practical Aspects of Imperative Program Verification using Theorema

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Symbolic and Numeric Algorithms for Scientific Computing
Editors	V. Negru, T. Jebelean
Publication status	Published - 2003

Fields of science

@inproceedings{40c117c0a10f4464a018c01732af26ae,

title = "Practical Aspects of Imperative Program Verification using Theorema",

author = "Tudor Jebelean and Laura Kovacs",

year = "2003",

language = "English",

isbn = "973-661-104-3",

editor = "\{V. Negru, T. Jebelean\}",

booktitle = "Symbolic and Numeric Algorithms for Scientific Computing",

}