대구한의대학교 향산도서관

바구니

검색간략리스트

1.
저널기사
Formal Derivation of Rule-Based Programs / G.-C.Roman R.F.Gamble W.E.Ball / IEEE computer society / IEEE Transactions on software engineering / 1993 /