[ACM Press the 9th International Symposium - Nara, Japan (2016.09.22-2016.09.23)] Proceedings of the 9th International Symposium on Haskell - Haskell 2016 - FitSpec: refining property sets for functional testing
- 作者Braquehais, Rudy; Runciman, Colin
- 文件大小222.56KB
- 发表时间2016
- DOI10.1145/2976002.2976003
- 页码1-12
ChemInform Abstract: ASYMM. OLEFINHYDROFORMYLIERUNGBOTTEGHI, C.; CONSIGLIO, G.; PINO, P. · Chemischer Informationsdienst · 1972
ChemInform Abstract: PHOTOCHEMICAL REACTIONS OF NARDOSINONERUECKER, G.; DYCK, E. · Chemischer Informationsdienst · 1978
ChemInform Abstract: CONFIGURATION OF NARDOSINONEFRIEMANN, J.; RUECKER, G.; FROEHLICH, T.; KIRFEL, A.; WILL, G. · Chemischer Informationsdienst · 1982
ChemInform Abstract: NITRATION OF BIPHENYLCYCLOPROPANESMOCHALOV, S. S.; NOVOKRESHCHENNYKH, V. D.; SHABAROV, YU. S. · Chemischer Informationsdienst · 1976
ChemInform Abstract: SYNTHETIC BIFLAVONYLBERGE, D. D.; KALE, A. V.; SHARMA, T. C. · Chemischer Informationsdienst · 1979
ChemInform Abstract: CARBONYL GROUP TRANSPOSITIONSMORRIS, D. G. · Chemischer Informationsdienst · 1983
ChemInform Abstract: STEREOCHEMIE VON CERVICARCINMARUMO, S.; SASAKI, K.; SUZUKI, S. · Chemischer Informationsdienst · 1972
ChemInform Abstract: 2-HYDRAZINOTHIOPHEN-3-CARBONSAEUREESTERHENTSCHEL, M.; GEWALD, K. · Chemischer Informationsdienst · 1974