skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · the department · news · 

Henkel and Diwan Have Distinguished Paper at ICSE 2004


May 2004

A paper by Johannes Henkel and Amer Diwan, A Tool for Writing and Debugging Algebraic Specifications, won the distinguished paper award at ICSE 2004 held recently in Edinburgh, Scotland. To win this award, the paper had to be in the top 10% of the papers accepted at the conference.

The International Conference on Software Engineering is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering.

See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:46)