Map    
Dagstuhl-Seminar-11272

From State Key Laboratory of Computer Science

Main Page > Exchanges > Conferences > Dagstuhl-Seminar-11272
Jump to: navigation, search

Dagstuhl Seminar on Decision Procedures in Soft, Hard and Bio-ware - Follow Up

  • 2011
Participant: Jian ZHANG

Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki