Hi, I am trying to develop extensions to the Qt State Machine Framework. Mainly on its conexions with formal logic and model checking.
Please could someone if I could do it somewhere closer to Qt community and how to contact people with the same interest? Thanks, A. Cano -------------------------------------------------------------- Ovi Mail: Making email access easy http://mail.ovi.com
_______________________________________________ Qt-creator mailing list [email protected] http://lists.trolltech.com/mailman/listinfo/qt-creator
