Checking Java Implementation of a Naming Architecture Using TestEra (2001)

by Sarfraz Khurshid , Darko Marinov
Venue:Electronic Notes in Theoretical Computer Science (ENTCS
Citations:7 - 7 self