On Testing against Partial Non-observable Specifications

Author(s):  
Natalia Kushik ◽  
Nina Yevtushenko ◽  
Ana Cavalli
Sign in / Sign up

Export Citation Format

Share Document