Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Correctness of actualization for parameterized implementation

Autor
Ehrig, H.; Kreowski, H.; Orejas, F.
Tipus d'activitat
Article en revista
Revista
Bulletin of the European Association for Theoretical Computer Science
Data de publicació
1995-06
Volum
-
Número
56
Pàgina inicial
79
Pàgina final
84
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants