Ôl bys
Gweld gwybodaeth am bynciau ymchwil 'EQU-IITG: A multi-format formal equivalence checker'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.- Trefnu yn ôl
- Pwysau
- Yn nhrefn yr wyddor
EQU-IITG: A multi-format formal equivalence checker
A. K. Mishra*, A. Chandra
*Awdur cyfatebol y gwaith hwn
Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)
1
Dyfyniad
(Scopus)