Old Web
English
Sign In
Acemap
>
Paper
>
Towards A Taxonomy of Dynamic Invariants in Software Behaviour
Towards A Taxonomy of Dynamic Invariants in Software Behaviour
2010
Teemu Kanstren
Keywords:
Taxonomy (biology)
Software
Invariant (mathematics)
Computer science
Theoretical computer science
Programming language
Correction
Cite
Save
Machine Reading By IdeaReader
18
References
0
Citations
NaN
KQI
[]