000 00468naa a2200157 a 4500
003 AR-LpUFIB
005 20250311170319.0
008 230201nuuuu xx r 000 0 ||| d
024 8 _aDIF-M3845
_b1722
_zDIF003646
040 _aAR-LpUFIB
_bspa
_cAR-LpUFIB
100 1 _aFantinato, Marcelo
245 1 0 _aTeste de software baseado em máquinas de estados finitos :
_bUma revisão
300 _ap. 422-433
773 _7nnam
_tCACIC 2001 [CD-ROM]
_oDIF-02518
942 _cCP
999 _c53494
_d53494