Normal view
MARC view
- TAPSOFT
TAPSOFT 1 1985 Berlin, West (Corporate Name)
Machine generated authority record.
Work cat.: (Ge_NSL)0: Formal methods and software development :