By Topic

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering - Title page

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.

The following topics are dealt with: software engineering theory; model checking; compilers; workflow; real-time systems; specification.

Published in:

Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on

Date of Conference:

6-8 June 2007