Publication View

Organizers (2008)

Abstract

This report contains the papers presented at FTfJP ’07: 9th workshop on Formal

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.4567
Source	http://cs.nju.edu.cn/boyland/ftjp/proceedings.pdf
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type	text
Language	English
Relation	10.1.1.57.4184, 10.1.1.47.2277, 10.1.1.31.4989, 10.1.1.29.892, 10.1.1.67.7785, 10.1.1.108.2675, 10.1.1.75.9404