RUS  ENG
Full version
PEOPLE

Ebersold S. 

Publications in Math-Net.Ru

  1. A contract-based method to specify stimulus-response requirements

    Proceedings of ISP RAS, 29:4 (2017),  39–54

© Steklov Math. Inst. of RAS, 2024