Որոնման արդյունքները - "Industrial implementation of formal methods series."

Formal method industrial use from model to the code /

“…Industrial implementation of formal methods series.…”
An electronic book accessible through the World Wide Web; click to view