Cited By
View all- Guerra ESanz DDíaz PAedo I(2007)A transformation-driven approach to the verification of security policies in web designsProceedings of the 7th international conference on Web engineering10.5555/1770588.1770616(269-284)Online publication date: 16-Jul-2007
- Díaz PMontero SAedo I(2005)Modelling hypermedia and web applications: the Ariadne Development MethodInformation Systems10.1016/j.is.2004.09.00130:8(649-673)Online publication date: Dec-2005
- Furuta RNa JMunson EFuruta RMaletic J(2002)Applying caT's programmable browsing semantics to specify world-wide web documents that reflect place, time, reader, and communityProceedings of the 2002 ACM symposium on Document engineering10.1145/585058.585062(10-17)Online publication date: 8-Nov-2002
- Show More Cited By