Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în revistã ştiinţificã
Autori: Florentin Ipate
Editorial: Theor. Comput. Sci., 353(1-3), p.291-316, 2006.
Rezumat:
Cuvinte cheie: specification based testing, formal methods
URL: http://www.informatik.uni-trier.de/~ley/db/conf/pts/testcom2006.html#Ipate06