(2020). Formal Approaches to Software Testing. Springer Berlin Heidelberg.
Παραπομπή Chicago StyleFormal Approaches to Software Testing. Springer Berlin Heidelberg, 2020.
Παραπομπή MLAFormal Approaches to Software Testing. Springer Berlin Heidelberg, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.