Philippe Palanque
1 book
About the Author
Philippe Palanque is a researcher and academic specializing in the design, specification, and verification of interactive systems. His work focuses on formal methods and human-computer interaction, contributing to the advancement of reliable and user-centered software development. With a strong background in computer science, he has played a significant role in shaping methodologies that ensure both usability and correctness in complex interactive environments.
Common genres
Writing style
technical
formal
precise
Books by Philippe Palanque
