DMCA

Relating π-calculus to Object-Z

by Kenji Taguchi , Jin Song Dong , Gabriel Ciobanu
Citations:1 - 0 self