Construction and Deduction Methods for the Formal Development of Software (1995)

Cached

Download Links

by F. W. Von Henke , A. Dold , H. Rue , D. Schwier , M. Strecker , Abt Kunstliche Intelligenz
Venue:In Broy and Jahnichen [2
Citations:1 - 0 self