A clear picture of lens laws

Fischer, S.; Hu, Z.; Pacheco, H.

by S. Fischer, Z. Hu, H. Pacheco

Reference:

S. Fischer, Z. Hu, H. Pacheco, A clear picture of lens laws, In Proceedings of the 12th International Conference on Mathematics of Program Construction (MPC 2015), to appear, 2015.

Bibtex Entry:

@inproceedings{FischerHuPacheco:15,
   author = {Fischer, S. and Hu, Z. and Pacheco, H.},
   title = {A clear picture of lens laws},
   booktitle = {Proceedings of the 12th International Conference on Mathematics of Program Construction (MPC 2015)},
   publisher = {to appear},
   year = {2015},
   url = {publications/mpc15.pdf}
}