relation: http://eprints.imtlucca.it/1344/ title: Specification and Validation of Algorithms Generating Planar Lehman Words creator: Giorgetti, Alain creator: Senni, Valerio subject: QA75 Electronic computers. Computer science date: 2012-06 type: Conference or Workshop Item type: PeerReviewed identifier: Giorgetti, Alain and Senni, Valerio Specification and Validation of Algorithms Generating Planar Lehman Words. In: GASCom'12, 8th International Conference on random generation of combinatorial structures, June 25-27, 2012, LaBRI, Bordeaux (Submitted) (2012)