Consistency checking in requirements analysis

Jaroslav Bendík
June 2017
PDF Cite
Type
Conference paper
Publication
In International Symposium on Software Testing and Analysis (doctoral workshop)
Jaroslav Bendík
Jaroslav Bendík
SMT Team Lead