Skip to content

LAA

Seminar

Parameterized interfaces for open system verification of product lines

Fisler, K (Worcester Polytechnic Institute)
Monday 08 May 2006, 15:30-16:00

Seminar Room 1, Newton Institute

Presentation

[ppt ]

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧