登入
選單
返回
Google圖書搜尋
Ground Setting Properties for an Efficient Translation of OCL in SMT-based Model Finding
Nils Przigoda
Robert Wille
Rolf Drechsler
出版
Verlag nicht ermittelbar
, 2016
URL
http://books.google.com.hk/books?id=dP71uQEACAAJ&hl=&source=gbs_api