TY  - THES
AU  - Brückner, Ingo
DA  - 2008
DP  - Universität Paderborn
LA  - eng
N1  - Paderborn, Univ., Diss., 2008
PB  - Veröffentlichungen der Universität
PY  - 2008
T2  - Institut für Informatik
TI  - Slicing integrated formal specifications for verification
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466-20080331012
Y2  - 2026-01-19T22:36:37
ER  -