4th TASE 2010:
Taipei, Taiwan
share record
short URL:
https://dblp.org/rec/conf/tase/2010 Jing Liu ,
Doron A. Peled ,
Bow-Yaw Wang ,
Farn Wang :
4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010. IEEE Computer Society 2010 , ISBN
978-0-7695-4148-8
share record
short URL:
https://dblp.org/rec/conf/tase/VassevHN10 share record
short URL:
https://dblp.org/rec/conf/tase/HincheyV10
share record
short URL:
https://dblp.org/rec/conf/tase/ZhaoWPZ10 share record
short URL:
https://dblp.org/rec/conf/tase/WangDW10 share record
short URL:
https://dblp.org/rec/conf/tase/LedangD10 share record
short URL:
https://dblp.org/rec/conf/tase/LiZCYZF10 share record
short URL:
https://dblp.org/rec/conf/tase/WangQQC10 share record
short URL:
https://dblp.org/rec/conf/tase/MiaoLM10 share record
short URL:
https://dblp.org/rec/conf/tase/ZhaoTWX10 share record
short URL:
https://dblp.org/rec/conf/tase/YangD10 share record
short URL:
https://dblp.org/rec/conf/tase/Zhu10 Hong Zhu :
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. 95-104 share record
short URL:
https://dblp.org/rec/conf/tase/KahloulCD10 share record
short URL:
https://dblp.org/rec/conf/tase/WangJJ10 share record
short URL:
https://dblp.org/rec/conf/tase/ZhangDHWZ10 share record
short URL:
https://dblp.org/rec/conf/tase/Cao10 Zining Cao :
Bisimulations for Open Processes in Higher Order p-Calculus. 135-144 share record
short URL:
https://dblp.org/rec/conf/tase/KleineG10 share record
short URL:
https://dblp.org/rec/conf/tase/BensalemLNSY10 share record
short URL:
https://dblp.org/rec/conf/tase/HeZHSG10 share record
short URL:
https://dblp.org/rec/conf/tase/WanSG10 share record
short URL:
https://dblp.org/rec/conf/tase/Wang10 Farn Wang :
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. 183-186 share record
short URL:
https://dblp.org/rec/conf/tase/MukkamalaH10 share record
short URL:
https://dblp.org/rec/conf/tase/ZhaoHLZ10 share record
short URL:
https://dblp.org/rec/conf/tase/XuTL10 share record
short URL:
https://dblp.org/rec/conf/tase/ChenMSC10
maintained by
, founded at