J.-J.Ch. Meyer

JM

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.

Publications per year

1981–1994

13

Publications

13