In the BOS project formal methods were used … engineers gave to the question how they would … some of them, who had no previous large-scale … Google-1 Google-2 Copyright clearance needed for quotation.
In the BOS project formal methods were used … engineers gave to the question how they would … some of them, who had no previous large-scale … Google-1 Google-2
Copyright clearance needed for quotation.
Related Topics
Topic: formal methods and languages (53 items)