Makoto Takeyama
发表
Makoto Takeyama,
M. Takeyama,
1994
.
Peter W. O'Hearn,
John Power,
Makoto Takeyama,
1995,
MFPS.
Midori Sugaya,
Jin Nakazawa,
Yutaka Ishikawa,
2010,
2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing.
Peter W. O'Hearn,
John Power,
Makoto Takeyama,
1995,
MFPS.
Thierry Coquand,
Makoto Takeyama,
Randy Pollack,
2003,
Fundam. Informaticae.
Peter W. O'Hearn,
John Power,
Makoto Takeyama,
1997,
TACS.
Peter Dybjer,
Makoto Takeyama,
Qiao Haiyan,
2003,
TPHOLs.
Peter Dybjer,
Makoto Takeyama,
Qiao Haiyan,
2004,
ICTAC.
Makoto Takeyama,
Yoshiki Kinoshita,
Shuji Kinoshita,
2019,
SAFECOMP Workshops.
Thierry Coquand,
Makoto Takeyama,
Randy Pollack,
2002
.
Peter Dybjer,
Makoto Takeyama,
Qiao Haiyan,
2003,
Third International Conference on Quality Software, 2003. Proceedings..
Peter Dybjer,
Makoto Takeyama,
Qiao Haiyan,
2004,
Inf. Softw. Technol..
Peter W. O'Hearn,
Makoto Takeyama,
R. D. Tennent,
1997
.
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1
pdf
Makoto Takeyama,
Philippa Ryan,
Yoshiki Kinoshita,
2020,
ArXiv.
Thierry Coquand,
Makoto Takeyama,
2000,
TYPES.
Peter W. O'Hearn,
John Power,
Makoto Takeyama,
1999,
Theor. Comput. Sci..
Yasuhiko Yokote,
Takashi Ito,
Makoto Takeyama,
2013,
2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Osamu Takaki,
Makoto Takeyama,
Hiroshi Watanabe,
2006
.
Thierry Coquand,
Makoto Takeyama,
Bengt Nordström,
2009
.
Yutaka Matsuno,
Makoto Takeyama,
Yoshiki Kinoshita,
2009,
2009 Software Technologies for Future Dependable Distributed Systems.
Makoto Takeyama,
Takashi Kitamura,
Keishi Okamoto,
2010,
2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing.
John Power,
Makoto Takeyama,
Yoshiki Kinoshita,
1997,
MFPS.
Makoto Takeyama,
2010
.
Makoto Takeyama,
2011,
ICFP '11.
Makoto Takeyama,
Dan Synek,
Catarina Coquand,
2006
.
Makoto Takeyama,
1995
.