A Spin / Promela Application for Model checking UML Sequence Diagrams Artículo editorial uri icon

fecha de publicación

  • 2018