登入選單
返回Google圖書搜尋
Towards Automated Refinement of TLM Properties to RTL
Vladimir HerdtHoang M. LeDaniel GroßeRolf Drechsler
出版Universitätsbibliothek Tübingen, 2018
URLhttp://books.google.com.hk/books?id=_KL6vQEACAAJ&hl=&source=gbs_api