What is the method in formal methods

Hendrik Brinksma

University of Twente Research Information · 1991 · 11 citations · 0 references

Concepts