13
Publications
426
Citations
13
H-Index
1981
Active since
J.-J.Ch. Meyer is an author at Vrije Universiteit Amsterdam specializing in engineering, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsLawAutonomyLanguageLinguistics
Publications per year
1981–1994
13
13
Rows per page
1–5 of 13