Advanced search
1 file | 346.86 KB

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

Raymond Boute (UGent)
Author
Organization

Downloads

  • TtrlPag.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 346.86 KB

Citation

Please use this url to cite or link to this publication:

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.
@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},
}

Altmetric
View in Altmetric