System refinement in practice - using a formal method to modify real-life knowledge

Cite

Citation style:
Could not load citation form.

Rights

Export