Academic Bibliography

 Search 200 years of publications by Ghent University researchers.
Advanced search
1 file | 37.82 KB
Add to list
  1. Search results
  2. UML based Verification of Software

UML based Verification of Software

Sara Van Langenhove, Albert Hoogewijs (UGent) and Benjamin De Leeuw
(2004) 32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applications.
Author
Organization

Downloads

  • Download
    Epit32Abstract.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 37.82 KB

Citation

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

MLA
Van Langenhove, Sara, et al. “UML Based Verification of Software.” 32nd Spring School in Theoretical Computer Scienc, Concurrency Theory and Applications, 2004.
APA
Van Langenhove, S., Hoogewijs, A., & De Leeuw, B. (2004). UML based Verification of Software. 32nd Spring School in Theoretical Computer Scienc, Concurrency Theory and Applications.
Chicago author-date
Van Langenhove, Sara, Albert Hoogewijs, and Benjamin De Leeuw. 2004. “UML Based Verification of Software.” In 32nd Spring School in Theoretical Computer Scienc, Concurrency Theory and Applications.
Chicago author-date (all authors)
Van Langenhove, Sara, Albert Hoogewijs, and Benjamin De Leeuw. 2004. “UML Based Verification of Software.” In 32nd Spring School in Theoretical Computer Scienc, Concurrency Theory and Applications.
Vancouver
1.
Van Langenhove S, Hoogewijs A, De Leeuw B. UML based Verification of Software. In: 32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applications. 2004.
IEEE
[1]
S. Van Langenhove, A. Hoogewijs, and B. De Leeuw, “UML based Verification of Software,” in 32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applications, 2004.
@inproceedings{302140,
  author       = {{Van Langenhove, Sara and Hoogewijs, Albert and De Leeuw, Benjamin}},
  booktitle    = {{32nd Spring School in Theoretical Computer Scienc, Concurrency theory and applications}},
  language     = {{und}},
  title        = {{UML based Verification of Software}},
  year         = {{2004}},
}