|
|||||
|
|
Software engineering education: Rôles of formal specification and design calculi |
|
| Authors: | Dines Bjørner Jorge R Cuéllar |
| Affiliation: | (1) Department of Information Technology, Bldg. 344, Technical University of Denmark, DK-2800 Lyngby, Denmark;(2) Department of Research and Development, Siemens AG, D-81730 Munich, Germany |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |