The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was he...

The Idea of Program Refinement Programs are complex. They are typically so complex, that they go ...

Rapid development of digital technologies has led to the widespread use of software in all aspect...