ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Asp...

This book integrates coverage of random probabilistic algorithms, assertion-based program reasoni...

Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded ...

On the Refinement Calculus gives one view of the development of the refinement calculus and its a...

*A state-of-the-art survey and tutorial for key new topics in programming methodology written by ...

A poem speeds up and slows down time, finding points in history’s spectrum and its false linearit...

*A state-of-the-art survey and tutorial for key new topics in programming methodology written by ...

This book presents a comprehensive mathematical theory that explains precisely what information f...