Carregant...
Carregant...

Vés al contingut (premeu Retorn)

EUROVAV-93: European symposium on validation and verification of knowledge-based systems

Autor
Meseguer, P.
Tipus d'activitat
Article en revista
Revista
AI communications: the european journal of artificial intelligence
Data de publicació
1993-01-01
Volum
19
Número
4
Pàgina inicial
308
Pàgina final
312
DOI
10.3233/AIC-1993-63-406
URL
http://content.iospress.com/articles/ai-communications/aic6-3-4-06 Obrir en finestra nova

Participants

  • Meseguer, Pedro  (autor)