Search Sciweavers | Sciweavers

3573 search results - page 57 / 715

» Reasoning about Codata

106

TOOLS
1999
IEEE

68views Programming Languages» more TOOLS 1999»

15 years 7 months ago

Xiaocong Fan, Dianxiang Xu, Guoliang Zheng

claim paper

Read More »

click to vote

AGP
1996
IEEE

97views Artificial Intelligence» more AGP 1996»

15 years 7 months ago

Renwei Li, Luís Moniz Pereira

claim paper

Read More »

click to vote

ICSE
1997
IEEE-ACM

83views Software Engineering» more ICSE 1997»

15 years 7 months ago

Kevin J. Sullivan, John Socha, Mark Marchukov

claim paper

Read More »

click to vote

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

15 years 7 months ago

Ian Stark

claim paper

Read More »

click to vote

COOPIS
1993
IEEE

90views Information Technology» more COOPIS 1993»

15 years 7 months ago

Sciweavers