The following pages link to (Q4364532):
Displaying 7 items.
- On what exactly goes on when software is developed step-by-step. II: The sequel (Q1028976) (← links)
- Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 (Q1075043) (← links)
- The role of mathematics and formal specification techniques in software system development (Q2729227) (← links)
- (Q4308838) (← links)
- (Q4499208) (← links)
- (Q4665721) (← links)
- Mathematics and Software Verification (Q5034385) (← links)