skip to main content

Equational Reasoning with Subtypes

Leavens, Gary T. ; Pigozzi, Don

Digital Repository @ Iowa State University 2002

Texto completo disponível

Citações Citado por

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.