Ghent University Academic Bibliography

Advanced

Formal Reasoning about Systems, Software and Hardware using Functionals, Predicates and Relations

Raymond Boute (2004) Information Technology. p.85-114
Please use this url to cite or link to this publication:
author
organization
year
type
bookChapter
publication status
published
subject
book title
Information Technology
pages
85-114 pages
publisher
Kluwer Academic
DOI
1854/3191
UGent publication?
yes
classification
B2
id
314519
handle
http://hdl.handle.net/1854/LU-314519
date created
2005-06-14 11:08:00
date last changed
2016-12-19 15:39:06
@incollection{314519,
  author       = {Boute, Raymond},
  booktitle    = {Information Technology},
  pages        = {85--114},
  publisher    = {Kluwer Academic},
  title        = {Formal Reasoning about Systems, Software and Hardware using Functionals, Predicates and Relations},
  url          = {http://dx.doi.org/1854/3191},
  year         = {2004},
}

Chicago
Boute, Raymond. 2004. “Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations.” In Information Technology, 85–114. Kluwer Academic.
APA
Boute, Raymond. (2004). Formal Reasoning about Systems, Software and Hardware using Functionals, Predicates and Relations. Information Technology (pp. 85–114). Kluwer Academic.
Vancouver
1.
Boute R. Formal Reasoning about Systems, Software and Hardware using Functionals, Predicates and Relations. Information Technology. Kluwer Academic; 2004. p. 85–114.
MLA
Boute, Raymond. “Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations.” Information Technology. Kluwer Academic, 2004. 85–114. Print.