Amalinda Post, Andreas Podelski. Automatische Validierung von Anforderungen. Softwaretechnik-Trends, 31(1), 2011. [doi]
@article{PostP11,
title = {Automatische Validierung von Anforderungen},
author = {Amalinda Post and Andreas Podelski},
year = {2011},
url = {http://pi.informatik.uni-siegen.de/stt/31_1/01_Fachgruppenberichte/RE/GI2011_Post.pdf},
researchr = {https://researchr.org/publication/PostP11},
cites = {0},
citedby = {0},
journal = {Softwaretechnik-Trends},
volume = {31},
number = {1},
}