Consistency checking in requirements analysis

Publication
In International Symposium on Software Testing and Analysis (doctoral workshop)
Jaroslav Bendík
Jaroslav Bendík
Post-doctoral researcher