Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications

TitleA constructive modal semantics for contextual verification
Publication TypeConference Paper
AuthorsPrimiero, G
Download PDF (Author PDF)
PDF author (public):