Pages that link to "Item:Q763211"
From MaRDI portal
The following pages link to Special issue: Extended papers based on the presentations at the eighth IEEE international conference on software engineering and formal methods, Pisa, Italy, September 13--18, 2010 (Q763211):
Displaying 4 items.
- Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18--20, 2002. Revised papers (Q1416852) (← links)
- Special issue of selected papers from the 13th IEEE international conference on automated software engineering. ASE '98, Honolulu, HI, USA, October 13--16, 1998 (Q1569628) (← links)
- Special issue: Methods of software design: techniques and applications. Selected, revised and extended versions based on the presentation at the 6th international conference on the mathematics of program construction (MPC2002), Schloß\ Dagstuhl, Germany, (Q1781065) (← links)
- ARK Information Systems (Q2723300) (← links)