Direct dynamic proofs for compatibility.

TitleDirect dynamic proofs for compatibility.
Publication TypeBook Chapter (with title)
AuthorsProvijn, D
Secondary AuthorsDelrieux, C, Legris, J